non monotonic logic

After we discuss the problems of the existed solving methods, we show the neatness of the non-monotonic reasoning and logic programming system GKD NMRS.

在综述了已有的解决方案所存在的问题后，指出了非单调的推理与逻辑程序设计系统GKD&NMRS在描述和解决框架问题上的简洁性和直观性。

In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.

该文提出一种论证安全协议之安全性质的非单调动态逻辑。

This paper attempts to examine the inferential process of conversational implicature in the light of non-monotonic logic, study the issue of how non-monotonic logic can be employed to cancel the conversational implicature and make use of plausible reasoning and default reasoning to infer the conversational implicature.

本文试图从非单调逻辑的角度来探讨会话含义的推导过程，运用非单调逻辑来解释会话含义的可取消性特征，使用合情推理、缺省推理来推导会话含义。

This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.

本文提出一种对安全协议进行分析的非单调逻辑。

Non-monotonic logic in artificial intelligence and Its Applications

非单调逻辑及其在人工智能研究中的应用